computation tree logic造句

例句与造句

1. Stuttering equivalence is not the same as bisimulation, since bisimulation cannot capture the semantics of the'eventually'( or'finally') operator found in computation tree logic ( branching time logic ) ( modal logic ).
2. It's difficult to find computation tree logic in a sentence. 用computation tree logic造句挺难的